Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
371	PDF Document Add to Reading List Source URL: www.ppi-int.com Language: English - Date: 2012-03-28 00:02:57 Systems science Systems engineering process Software development process Requirement Validation Verification and validation Reliability engineering ISO/IEC 15288 Systems engineering Software development Science
372	Microsoft Word - simTD@RE2011_final Add to Reading List Source URL: www.simtd.de Language: English - Date: 2014-02-24 04:48:29 Validity Science Software engineering Systems science Formal methods Verification and validation Systems engineering process Validation Software development process Systems engineering Software development Pharmaceutical industry
373	Marvell_logotype_spot [Converted] Add to Reading List Source URL: www.research.ibm.com Language: English - Date: 2012-09-24 09:52:47 Software testing Software verification Verification
374	Abstraction-Carrying Code: a Model for Mobile Code Safety Abstraction-Carrying Code: a Model for Mobile Code Safety Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-07-09 09:15:07 Computing Formal methods Logic in computer science Program analysis Abstract interpretation Formal verification Abstraction Type system Type safety Software engineering Programming language theory Type theory
375	Microsoft Word - D250.214-D2.14-Integration Verification Test v0.5.docx Add to Reading List Source URL: www.ecomove-project.eu Language: English - Date: 2013-09-24 09:56:01 Business Integration testing V-Model Verification and validation Validation Dual Vee Model Test case Software verification Software testing Software development Evaluation
376	AML / CFT Anti-money laundering and countering financing of terrorism Amended Identity Verification Add to Reading List Source URL: www.fma.govt.nz Language: English - Date: 2015-03-17 18:38:18 Financial regulation Identity document Money laundering Public key certificate Credit card Identity Cards Act Terrorism financing Notary public Anti-money laundering software Security Cryptography Government
377	ANDES_WP3_1rst_annual_mtg_24052011 Add to Reading List Source URL: www.andes-nd.eu Language: English Clinical research Quality Validation Verification and validation Software development process Knowledge Pharmaceutical industry Validity Science
378	VERSION 3 for Systems Engineering within the civil engineering sector Guideline It’s all about Cohesion Add to Reading List Source URL: www.leidraadse.nl Language: English - Date: 2014-06-20 02:14:04 Systems engineering Methodology Software engineering Ethology Knowledge Validation Software development process Verification and validation Engineering Science Pharmaceutical industry Validity
379	Microsoft Word - simTD@RE2011_final Add to Reading List Source URL: simtd.de Language: English - Date: 2014-02-18 10:24:21 Validity Science Software engineering Systems science Formal methods Verification and validation Systems engineering process Validation Software development process Systems engineering Software development Pharmaceutical industry
380	Microsoft Word - simTD@RE2011_final Add to Reading List Source URL: simtd.de Language: English - Date: 2014-02-24 04:48:29 Validity Science Software engineering Systems science Formal methods Verification and validation Systems engineering process Validation Software development process Systems engineering Software development Pharmaceutical industry

UPDATE